More from this Author

Leveraging Applications of Formal Methods, Verification and Validation

by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Tools and Algorithms for the Construction and Analysis of Systems

by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Tools and Algorithms for the Construction and Analysis of Systems

by Tiziana Margaria (Editor), Wang Yi (Editor)

Software Process Improvement

by Pekka Abrahamsson (Editor), Nathan Baddoo (Editor), Tiziana Margaria (Editor), Richard Messnarz (Editor)

Tools and Algorithms for the Construction and Analysis of Systems

by Axel Legay (Editor), Tiziana Margaria (Editor)

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Semantic Web Services Challenge

by Charles J. Petrie (Editor), Tiziana Margaria (Editor), Holger Lausen (Editor), Michal Zaremba (Editor)

SOFSEM 2017: Theory and Practice of Computer Science

by Bernhard Steffen (Editor), Christel Baier (Editor), Mark van den Brand (Editor), Johann Eder (Editor), Mike Hinchey (Editor), Tiziana Margaria (Editor)

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Process Design for Natural Scientists

by Anna-Lena Lamprecht (Editor), Tiziana Margaria (Editor)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Correct Hardware Design and Verification Methods

by Tiziana Margaria (Editor), Tom Melham (Editor)

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

by Tiziana Margaria (Editor), Bernhard Steffen (Editor)

Leveraging Applications of Formal Methods, Verification, and Validation

by Reiner Hähnle (Editor), Jens Knoop (Editor), Tiziana Margaria (Editor), Dietmar Schreiner (Editor), Bernhard Steffen (Editor), Reiner Hähnle (Editor)